Games as Text, Games as Action

Symmetric Incomplete Information Games as Stochastic Games

The purpose of this chapter is to show how games with incomplete information in fact reduce to stochastic games, as long as the information is symmetric among the players. The new state space corresponds to the beliefs on the space of unknown parameters.

Feasible interpolation as games

This note is a transcript of a lecture given in Prague on December 1st, 2012. Kraj́ıček [4] and Bonet, Pitassi and Raz [2] have independently described a construction of a monotone boolean circuit out of a refutation proving that two NP-sets are disjoint. Also known as monotone feasible interpolation, this construction can be used to prove lower bounds on systems such as resolution and cutting p...

Games as Conversation

We present a metaphor through which to study games: games as conversation, which casts gameplay as a communicative exchange between player and game. We propose to view aspects of gameplay as speech acts, as defined by Austin and Searle, and we present several examples that illustrate the diverse locutionary, illocutionary, and perlocutionary acts present in the design of digital games. Through ...

Proofs as Games

Games as Factorization Systems

Winskel has explored how to use event structures to build a bicategory of games and strategies, for use as a model of computational processes in a “next-generation” denotational semantics [15]. Out of this work came the discovery of necessary and sufficient conditions on maps of event structures so that these special maps (called strategies) form a bicategory with the copycat strategy as its ps...